Arithmetic subtrees in large subsets of products of trees

Furstenberg-Weiss have extended Szemerédi’s theorem on arithmetic progressions to trees by showing that a large subset of the tree contains arbitrarily long subtrees. We study higher dimensional versions analogously extend multidimensional Szemerédi demonstrating existence certain structures in subsets cartesian product trees.